package yapl.typeChecker;

public class BoolType extends Type {	
	
	
}
